$\exists$$e$=$k$($v$).$P$($e$;$v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:E. (kind($e$) = $k$ \& $P$($e$;val($e$)))